光子晶体的研究与应用

光子晶体是一种具有光子能带及能隙的新型材料。其特有的性质,使光子晶体具有广阔的应用前景。本文基于固体物理学的基本原理,对光子晶体的理论基础进行了简单介绍,根据其特有结构,对光子晶体的特性做了一定分析,并结合现实需要,综述了光子晶体在光学等方面的应用。     

数字流媒体教学系统的应用研究

21世纪是一个信息化的时代,以多媒体计算机互联网为核心的信息技术的应用浪潮,不但给现代教育带来了极大的冲击,同时也给现代教育注入了新的生命力。计算机信息网络应用打破了传统的教学思想、教学手段、教学内容、教学过程和教学组织,为广大教师学生提供网络化多媒体、信息交流平台、仿真教学系统和教学资源共享等。数字流媒体作为接入中国教育和科研计算机网的通用工具,为高等院校的信息交流与管理、教学资源共享提供了巨大作用。     

OFDM系统中频率同步算法的研究

OFDM是B3G乃至4G系统中的一种关键技术。它的最大优点是对抗频率选择性衰落,同时又提高了频谱利用率。本文首先介绍了多载波传输与OFDM之间的关系以及OFDM系统的基本原理,接着对OFDM系统中的同步技术和载波同步算法进行了分析．最后对基于训练符号的时域相关算法做了详细的研究。     

基于PRA的电子商务安全风险评估模型

目前,对电子商务的风险评估还没有统一的标准.基于电子商务的安全体系结构层次,用概率风险评估方法对各层的结构、网络攻击和攻击结果进行分析,通过故障树来计算每层被攻击者攻击的可能以及风险发生的概率,最后得出总的风险值.把概率风险评估模型应用在电子商务系统中,能够较好的求出系统的风险程度.     

抗重放攻击认证协议的设计原则和方法研究

重放攻击是最基本、最常用、危害性最大的攻击认证协议的形式.从服务器和通信实体的角度对认证协议受重放攻击的根源进行详细的分析,提出了一套抗重放攻击认证协议的设计原则和方法.通过该原则和方法,对Adadi-Needham修改版本的Otway-Rees协议和BAN-Yahalom协议进行了分析和改进.该设计原则和方法对抗重放攻击认证协议的设计和分析是很有效的.     

Logic Programs,Compatibility and Forward Chaining Construction

Logic programming under the stable model semantics is proposed as a non-monotonic language for knowledge representation and reasoning in artificial intelligence. In this paper, we explore and extend the notion of compatibility and the Λ operator, which were first proposed by Zhang to characterize default theories. First, we present a new characterization of stable models of a logic program and show that an extended notion of compatibility can characterize stable submodels. We further propose the notion of weak auto-compatibility which characterizes the Normal Forward Chaining Construction proposed by Marek, Nerode and Remmel. Previously, this construction was only known to construct the stable models of FC-normal logic programs, which turn out to be a proper subclass of weakly auto-compatible logic programs. We investigate the properties and complexity issues for weakly auto-compatible logic programs and compare them with some subclasses of logic programs.     

一种有效的求解一维下料问题的启发式算法

使用了一种改进的顺序启发式算法,在排样方式的生成过程中不断修正当前排入毛坯的价值,使之趋于合理,依次选取求解背包函数获得的最大单位价值的排样方式组成当前排样方案,迭代调用该过程多次,最终选取最优的排样方案。在保证较高材料利用率的同时考虑减少排样方式,增加最后一根材料余料长度等多个优化目标。通过多组实验结果比较,证实了算法的有效性。     

Makinson一个公开问题的注记

公式集的essential原子在逻辑中扮演了重要角色,如在SAT问题中可以去掉非essemial原子,从而加快搜索解的速度.将essential原子引入到赋值集是近年的一个研究热点,2005年Makinson提出一个关于essential原子的公开问题.现解决了这个公开问题,即证明了结论:任何原子都不是赋值集V的essential原子当且仅当等价的赋值都属于V或者都不属于V.     

一种货运列车编组调度模型及算法研究

根据货运列车编组调度的基本要求,建立了配流模型。利用编组场待编组车节信息,结合到达场列车的实时信息,设计了信息反馈模型。根据配流模型和反馈模型,对列车进行解体和组编,考虑了军需物资和灾需物资的车辆信息,通过调整模型参数,使得模型继续适用那些由于铁路中断,需要绕行的货运列车。改变了传统算法只考虑局部车组信息,而忽视全局车组信息的弊端。因此,该模型具有灵活性。研究了基本的编组调度算法,使用贪心算法和动态规划算法相结合来求解,并分析了该算法的可行性。     

基于集成神经网络的离线手写签名鉴别方法

离线手写签名鉴别是一种基于生物特征的身份识别技术,利用集成神经网络对手写签名进行自动鉴别。该集成神经网络由特征分配网络、神经网络认证主体和决策融合识别网络三部分构成。通过为每个签名者构造独立的分类器,并分别为每个分类器构造认证、识别训练集,解决了离线签名的认证和识别问题。基于此方法的签名鉴别实验获得了比较满意的结果,可以用来辅助人类专家进行签名鉴别。